SAT for argumentation

Peer reviewe

Finding Most Compatible Phylogenetic Trees over Multi-State Characters

Peer reviewe

Cost-optimal constrained correlation clustering via weighted partial Maximum Satisfiability

Peer reviewe

Smallest Explanations and Diagnoses of Rejection in Abstract Argumentation

Peer reviewe

Algorithms for Dynamic Argumentation Frameworks: An Incremental SAT-Based Approach

Peer reviewe

Strong Refinements for Hard Problems in Argumentation Dynamics

Peer reviewe

μ-toksia: An Efficient Abstract Argumentation Reasoner

Peer reviewe